Optimal State Replication in Stateful Data Planes
نویسندگان
چکیده
منابع مشابه
Relaxing state-access constraints in stateful programmable data planes
Supporting the programming of stateful packet forwarding functions in hardware has recently attracted the interest of the research community. When designing such switching chips, the challenge is to guarantee the ability to program functions that can read and modify data plane’s state, while keeping line rate performance and state consistency. Current state-of-the-art designs are based on a ver...
متن کاملBUZZ: Testing Context-Dependent Policies in Stateful Data Planes
Network operators spend significant effort in ensuring that the network meets their intended policies. While recent work on checking reachability and isolation policies have taken giant strides in this regard, they do not handle context-dependent policies that operators implement via stateful data plane elements. To address this challenge, we present the design and implementation of BUZZ, a tes...
متن کاملE2DR: Energy Efficient Data Replication in Data Grid
Abstract— Data grids are an important branch of gird computing which provide mechanisms for the management of large volumes of distributed data. Energy efficiency has recently emerged as a hot topic in large distributed systems. The development of computing systems is traditionally focused on performance improvements driven by the demand of client's applications in scientific and business domai...
متن کاملBUZZ: Testing Context-Dependent Policies in Stateful Data Planes (CMU-CyLab-14-013)
Network operators spend significant effort in ensuring that the network meets their intended policies. While recent work on checking reachability and isolation policies have taken giant strides in this regard, they do not handle context-dependent policies that operators implement via stateful data plane elements. To address this challenge, we present the design and implementation of BUZZ, a tes...
متن کاملScalable Testing of Context-Dependent Policies over Stateful Data Planes with Armstrong
Network operators today spend significant manual effort in ensuring and checking that the network meets their intended policies. While recent work in network verification has made giant strides to reduce this effort, they focus on simple reachability properties and cannot handle context-dependent policies (e.g., how many connections has a host spawned) that operators realize using stateful netw...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Journal on Selected Areas in Communications
سال: 2020
ISSN: 0733-8716,1558-0008
DOI: 10.1109/jsac.2020.2986939